Building Libraries in Prolog
نویسنده
چکیده
While Prolog has proven useful for writing programs in a variety of domains, it suffers from its lack of support for modularity, particularly for building libraries of routines and data. This paper points out some problems with standard Prolog that make libraries inconvenient. It then describes a solution to those problems based on the concepts of modules and database views.
منابع مشابه
PRISM Revisited: Declarative Implementation of a Probabilistic Programming Language Using Delimited Control
PRISM is a probabilistic programming language based on Prolog augmented with primitives to represent probabilistic choice. PRISM is implemented using a combination of low level support from a modified version of B-Prolog, source level program transformation, and libraries for probabilistic inference and learning implemented in the imperative language C. More recently, developers of probabilisti...
متن کاملSWI-Prolog
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledgeintensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial invo...
متن کاملSWI-Prolog: history and focus for the future
In this article, we provide a historical overview of the development of SWI-Prolog. We use this historical perspective to identify what we perceive as primary reasons for the popularity of the system. We use recent developments within and outside the Prolog community to comment on possible future directions for sharing more resources, such as applications and libraries, between Prolog developer...
متن کاملسنجش کتابخانههای عمومی استان کرمانشاه بر اساس استاندارد دیانی (1374)
Purpose: The present research has studied the status of public libraries in Kermanshah Province (Iran) based on Dayani standard (1374). Concerning 9 criteria including daily work hours, total area, area of building, number of books, annual increase of books, number of members, number of staff, number of bookcases, and number of chairs, the libraries were compared with Dayani standard (1374) at...
متن کاملInter-library Service Brokerage in LicenseScript
Inter-library loan involves interaction among a dynamic number of digital libraries and users. Therefore, inter-library service management is complex. We need to handle different and conflicting requirements of services from the digital libraries and users. To resolve this problem, we present the concept of a packager who acts as a service broker. We also present an implementation using our Pro...
متن کامل